void func(void){
    float x = 100000001.0f;
    for (size_t count = 1;count <= 10; ++count,x += 1.0f){
        /* Loop iterates exactly 10 times */
    }
}